منابع مشابه
Linearization in parallel pCRL
We describe a linearization algorithm for parallel pCRL processes similar to the one implemented in the linearizer of the μCRL Toolset. This algorithm finds its roots in formal language theory: the ‘grammar’ defining a process is transformed into a variant of Greibach Normal Form. Next, any such form is further reduced to linear form, i.e., to an equation that resembles a right-linear, data-par...
متن کاملTime-stamped Actions in pCRL Algebras
We present two extensions of pCRL with time-stamped actions: pCRL for absolute time and pCRLr for relative time. We de ne timed bisimilarity for both versions and prove that the given axiomatisations are ground complete, provided that the data types have built-in equality and Skolem functions. We base the completeness proofs on the completeness results for untimed pCRL. 1991 Mathematics Subject...
متن کاملTWTA Linearization
New communications services have created a demand for highly linear high power amplifiers (HPA's). TWTA's continue to offer the best microwave HPA performance in terms of power, efficiency, size and cost, but lag behing solid state power amplifiers (SSAPs) in linearity. This paper discusses techniques for improving TWTA linearity. The significance and methods for evaluation of linearity are rev...
متن کاملdetermination of maximal singularity free zones in the workspace of parallel manipulator
due to the limiting workspace of parallel manipulator and regarding to finding the trajectory planning of singularity free at workspace is difficult, so finding a best solution that can develop a technique to determine the singularity-free zones in the workspace of parallel manipulators is highly important. in this thesis a simple and new technique are presented to determine the maximal singula...
15 صفحه اولAnalysis of Exact Linearization and Aproximate Feedback Linearization Techniques
This paper presents a study of linear control systems based on exact feedback linearization and approximate feedback linearization. As exact feedback linearization is applied, a linear controller can perform the control objectives. The approximate feedback linearization is required when a nonlinear system presents a noninvolutive property. It uses a Taylor series expansion in order to compute a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic and Algebraic Programming
سال: 2001
ISSN: 1567-8326
DOI: 10.1016/s1567-8326(01)00005-4